Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
261	ISO/IEC JTC1/SC7 Software Engineering Secretariat: CANADA (SCC) ISO/IEC JTC1/SC7 N1851[removed] Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2002-02-04 06:59:17 Diagrams Petri net SQL International Organization for Standardization Ada ISO/IEC 15288 Computing Software engineering Concurrency
262	Journal of Logic and Computation Advance Access published February 20, 2009 Speculative Image Computation for Distributed Symbolic Reachability Analysis MING-YING CHUNG, Verification Group, Synopsys Inc. Mountain View, Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 21:54:36 Petri net Computer cluster Computing Concurrency Diagrams
263	A fine-grained fullness-guided chaining heuristic for symbolic reachability analysis? Ming-Ying Chung, Gianfranco Ciardo, and Andy Jinqing Yu Department of Computer Science and Engineering University of California, River Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:03 Theoretical computer science Computer science Network theory Breadth-first search Petri net Mathematics
264	PDMC 2005 Final Version A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Ming-Ying Chung 1 Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:44 Tree traversal Computing Computer science Theoretical computer science Concurrency Diagrams Petri net
265	UNIVERSITY OF CALIFORNIA RIVERSIDE Distributed Symbolic Reachability Analysis A Dissertation submitted in partial satisfaction Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2010-04-18 20:35:33 Applied mathematics Concurrency Models of computation Model checking Graph connectivity Petri net Hash table Reachability Algorithm Theoretical computer science Computing Complexity classes
266	A comparison of structural formalisms for modeling large Markov models M.-Y. Chung G. Ciardo Univ. of California, Riverside Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:10 Models of computation Mathematics Diagrams Petri net Probability and statistics Markov chain Stochastic matrix Matrix Formal methods Markov processes Markov models Concurrency
267	IGR Report GR/R16754/01 Behavioural Synthesis of Systems with Heterogeneous Timing (BESST) 1 Background/Context Add to Reading List Source URL: www.staff.ncl.ac.uk Language: English - Date: 2004-12-06 15:04:33 Electronic design automation Digital electronics Hardware description languages Electronic design Asynchronous circuit Logic synthesis Petri net Asynchronous system Verilog Electronic engineering Electrical engineering Electrical circuits
268	EPSRC Grant JOINT FINAL REPORT Add to Reading List Source URL: www.staff.ncl.ac.uk Language: English - Date: 2006-10-11 06:58:17 Electromagnetism Electronic design Synchronization Concurrency Asynchronous system Asynchronous circuit Petri net Digital electronics VHDL Electronic engineering Electrical circuits Electrical engineering
269	Final Report on EPSRC grant “Self-Timed Event Processor” (EP/E044662/1) Prof. Alex Yakovlev and Dr Fei Xia, School of EECE, Newcastle University Main areas of achievement: (1) Foundations and basic modelling techniqu Add to Reading List Source URL: async.org.uk Language: English - Date: 2010-08-23 08:23:22 Electromagnetism Network On Chip Asynchronous circuit Yakovlev Arbiter Petri net Electronic engineering Electrical circuits Electrical engineering
270	68 BOOK REVIEWS_CINEASTE STYLE SHEET[removed]:33 PM Page 68 BOOK REVIEWS Elio Petri: Writings on Cinema & Life by Elio Petri; edited by Jean A. Gili; translated Add to Reading List Source URL: www.eliopetri.net Language: English - Date: 2014-03-11 14:38:55 Todo modo We Still Kill the Old Way Petri Property Is No Longer a Theft The Working Class Goes to Heaven Gian Maria Volonté Leonardo Sciascia To Each His Own A Quiet Place in the Country Italian films Cinema of Italy Elio Petri

UPDATE